141. Formal semantics of natural language :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Language and languages, Congresses.,Semantics, Congresses.

رده :
P325
.
C27
1973

142. Formal semantics of natural language; Papers from a Colloquium Sponsored by the Kings College Research Centere

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Congresses ، Semantics,Congresses ، Language and languages

رده :
P
325
.
C27
1973

143. Formal semantics of natural language; Papers from a colloquium sponsored by the King's college research centre, cambridge

پدیدآورنده :

کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)

موضوع : Semantics--Congresses.,Language and languages-- Congresses

144. Formal semantics of natural language :papers from a colloquium sponsored by the King's College Research Centre, Cambridge /edited by Edward L. Keenan.

کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)

موضوع : Semantics--Congresses.,Language and languages--Congresses.

رده :
P325
.
C27
1973

145. Formal semantics of natural language : papers from a colloquium sponsored by the King's College Research Centre, Cambridge

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Semantics,Congresses ، Language and languages

رده :
P
325
.
C27
1975

146. Formal semantics of natural language : papers from a colloquium sponsored by the King's College Research Centre, Cambridge

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Semantics - Congresses,Language and languages - Congresses

رده :
P
.
C27
325
1973

147. Formal semantics of natural language: papers from a colloquium sponsored by the king's Collge Research Centre, Cambridge

پدیدآورنده :

کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)

موضوع : Semantics - Congresses,Language and languages - Congresses

رده :
P325
.
C27
1973

148. Formal verification of object-oriented software :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Object-oriented methods (Computer science), Congresses

رده :
QA76
.
76
.
V47
F68
2011

149. Foundations of object-oriented languages :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Langages à objets (Informatique) -- Congrès.,Langages de programmation -- Congrès.,Object-oriented programming languages -- Congresses.

رده :
QA76
.
64
J834
1991

150. Frontiers of combining systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science, Congresses,Logic, Symbolic and mathematical, Congresses

رده :
QA9
.
A1
F76
2011

151. Functional and constraint logic programming :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic programming, Congresses,Mathematical Logic and Formal Languages

رده :
QA76
.
63
.
W45
2011

152. Grammatical inference

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Formal languages, Congresses,Logic, Symbolic and mathematical, Congresses

رده :
QA267
.
3
.
I55
2010

153. Grammatical inference : Learning syntax from sentences : Third International Colloquium, ICGI-96 Montpellier, France, September 25-27, 1996 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1147

154. Grammatical inference : algorithms and applications : 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
3264

155. Grammatical inference : algorithms and applications : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1891

156. Grammatical inference : algorithms and applications : 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
4201

157. Grammatical inference : algorithms and applications : 6th international colloquium, ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
2484

158. Grammatical inference and applications : second International colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
862

159. Grammatical inference : 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1433

160. Grammatical inference: theoretical results and application

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Formal languages, Congresses,Logic, Symbolic and mathematical, Congresses

رده :
E-BOOK